-
1 исчисление
* * *n. calculus, computation;
исчисление высказываний - propositional calculus;
исчисление предикатов - predicate calculus;
исчисление одноместных предикатов - one-place predicate calculus;
исчисление задач - problem calculus;
чистое исчисление предикатов - pure predicate calculus;
узкое исчисление предикатов - restricted predicate calculus -
2 исчисление
-
3 исчисление
calculus имя существительное: -
4 исчисление
с. calculus -
5 исчисление
1) calculus
2) computation
– вариационное исчисление
– векторное исчисление
– дифференциальное исчисление
– интегральное исчисление
– исчисление вероятностей
– исчисление высказываний
– исчисление задач
– исчисление предикатов
– логическое исчисление
– матричное исчисление
– операционное исчисление
– разностное исчисление
– расширенное исчисление
– спинорное исчисление
– тензорное исчисление
– функциональное исчисление
исчисление бесконечно малых — infinitesimal calculus
исчисление одноместных предикатов — one-place predicate calculus
узкое исчисление предикатов — restricted predicate calculus
функциональное исчисление или исчисление предикатов — functional calculus
функциональное исчисление или исчисление предикатов — functional calculus
-
6 исчисление
n.calculus, computation -
7 исчисление вероятностей
исчисление вероятностей
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > исчисление вероятностей
-
8 исчисление высказываний
исчисление высказываний
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > исчисление высказываний
-
9 исчисление предикатов
исчисление предикатов
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > исчисление предикатов
-
10 исчисление
-
11 исчисление
calculus, computation* * *исчисле́ние с.
calculusисчисле́ние бесконе́чно ма́лых — infinitesimal calculusвариацио́нное исчисле́ние — calculus of variationsве́кторное исчисле́ние — vector calculus, vector analysisисчисле́ние вероя́тностей — calculus of probabilityисчисле́ние выска́зываний — sentential [propositional] calculusдифференциа́льное исчисле́ние — differential calculusисчисле́ние зада́ч — problem calculusинтегра́льное исчисле́ние — integral calculusлоги́ческое исчисле́ние — logical calculusма́тричное исчисле́ние — matrix calculusоперацио́нное исчисле́ние — operational calculusисчисле́ние предика́тов — predicate calculusпропозициона́льное исчисле́ние — propositional calculusрасши́ренное исчисле́ние — extended calculusспино́рное исчисле́ние — spinor calculusте́нзорное исчисле́ние — tensor calculusфункциона́льное исчисле́ние — functional calculus* * * -
12 исчисление
-
13 исчисление идеалов
calculus of ideals мат., ideal calculusРусско-английский научно-технический словарь Масловского > исчисление идеалов
-
14 исчисление конечных разностей
calculus of enlargement, calculus of finite differencesРусско-английский политехнический словарь > исчисление конечных разностей
-
15 исчисление вероятностей
Русско-английский технический словарь > исчисление вероятностей
-
16 исчисление вероятностей
Русско-английский политехнический словарь > исчисление вероятностей
-
17 исчисление
-
18 исчисление конечных разностей
Русско-английский словарь по машиностроению > исчисление конечных разностей
-
19 исчисление
-
20 исчисление
calculus вчт.
См. также в других словарях:
Исчисление взаимодействующих систем — (англ. Calculus of Communicating Systems, CCS, исчисление общающихся систем) в информатике исчисление процессов, разработанное Робином Милнером в 1980 году. Исчисление работает с моделью неразделяемых коммуникаций между ровно двумя… … Википедия
Исчисление общающихся систем — Исчисление взаимодействующих систем (англ. Calculus of Communicating Systems, CCS) это исчисление процессов, введённое Робином Милнером около 1980, и название его книги, описывающей это исчисление. Исчисление работает с моделью… … Википедия
Исчисление процессов — (алгебра процессов) семейство связанных подходов к формальному моделированию конкурентных систем. Большой вклад в развитие данного направления теоретической информатики внесли Робин Милнер, разработавший исчисление взаимодействующих систем… … Википедия
Исчисление понятий — «ИСЧИСЛЕНИЕ ПОНЯТИЙ» («Запись в понятиях») сочинение немецкого математика и логика Готтлоба Фреге, положившее начало современной форме математической (символической) логики. Полное название этого сочинения включало указание на то, что в… … Энциклопедия эпистемологии и философии науки
исчисление вероятностей — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN probability calculus … Справочник технического переводчика
исчисление высказываний — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN propositional calculus … Справочник технического переводчика
исчисление предикатов — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN predicate calculus … Справочник технического переводчика
Calculus probabilium — (лат.) исчисление вероятностей. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983 … Философская энциклопедия
Исчисление — У этого термина существуют и другие значения, см. Исчисление (значения) … Википедия
исчисление — skaičiavimas statusas T sritis automatika atitikmenys: angl. calculation; calculus; computation vok. Berechnung, f; Kalkulation, f; Rechnung, f; Zählung, f rus. вычисление, n; исчисление, n; расчёт, m; счёт, m pranc. calcul, m; compte, m … Automatikos terminų žodynas
исчисление — skaičiuotė statusas T sritis fizika atitikmenys: angl. calculus vok. Rechnung, f rus. исчисление, n pranc. calcul, m … Fizikos terminų žodynas